Substitution model - PDFSEARCH.IO - Document Search Engine

Substitution model
Results: 273

#	Item
21	IEEE TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOL. 5, NO. 4, Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2008-10-07 19:38:46 Bioinformatics Computational phylogenetics Multiple sequence alignment Sequence alignment Linear regression BLOSUM Phylo Equation solving Substitution matrix Hidden Markov model Clustal BLAST
22	Bounded Model Checking of Pointer Programs W. Charatonik, L. Georgieva, P. Maier∗ MPI–I–2005–2–002 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-06-30 09:51:29 Symbol Substitution Econometrics Normal distribution Polar coordinate system
23	Genetic Signature of Rapid IHHNV (Infectious Hypodermal and Hematopoietic Necrosis Virus) Expansion in Wild Penaeus Shrimp Populations Refugio Robles-Sikisaka, Andrew J. Bohonak, Leroy R. McClenaghan Jr, Arun K. Dhar¤ Add to Reading List Source URL: www.bio.sdsu.edu Language: English* - Date: 2010-07-26 19:39:00 Genetics Aquaculture Molecular biology Animal virology Population genetics Haplotype Taura syndrome Infectious hypodermal and hematopoietic necrosis Mutation Molecular evolution Nucleic acid sequence Substitution model
24	Performance Study of Phylogenetic Methods: (Unweighted) Quartet Methods and Neighbor-Joining Katherine St. John Dept. of Math & Computer Science, Lehman College and the Graduate Center, City U. of New York E-mail: stjohn Add to Reading List Source URL: www.cs.unm.edu Language: English - Date: 2002-12-19 12:20:43 Phylogenetics Computational phylogenetics Unrooted binary tree Phylogenetic tree Split Maximum parsimony Neighbor joining Substitution model Models of DNA evolution Tree Binary tree
25	Household Production and Asset Prices Zhi Da, Wei Yang, and Hayong Yun∗ November 2014 Abstract We empirically examine the asset pricing implications of the Beckerian framework of household production, where utility is Add to Reading List Source URL: www3.nd.edu Language: English - Date: 2014-11-10 14:13:15 Mathematical finance Financial economics Capital asset pricing model Equity premium puzzle Consumption-based capital asset pricing model Elasticity of intertemporal substitution Finance Economics Economic growth Hyperbolic absolute risk aversion
26	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen? and Stefano Zacchiroli? Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 04:59:48 Model theory Formal languages Mathematical logic Symbol Interpretation Structure Substitution Golden ratio base
27	MEGA4: Molecular Evolutionary Genetics Analysis (MEGA) Software Version 4.0 Koichiro Tamura,* Joel Dudley,* Masatoshi Nei,à and Sudhir Kumar§* Center for Evolutionary Functional Genomics, The Biodesign Institute, Ar Add to Reading List Source URL: www.megasoftware.net Language: English* - Date: 2016-01-11 15:52:39 Computational phylogenetics Bioinformatics Phylogenetics Markov models Masatoshi Nei Sequence alignment Substitution model Phylogenetic tree Models of DNA evolution Nucleic acid sequence MEGA Molecular Evolutionary Genetics Analysis Nucleotide diversity
28	Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2016-07-28 16:53:46 Model theory Logic in computer science Semantics Formal languages Logical truth Satisfiability modulo theories Interpretation Quantifier elimination True quantified Boolean formula Quantifier Substitution Well-formed formula
29	N. Kobayashi and B. C. Pierce (Eds): Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), LNCS Vol. 2215, pp. 219–242, 2001. c Springer-Verlag Berlin Heidelberg 2001 Nominal Logic: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2001-10-22 05:59:46 Model theory Automated theorem proving Logic programming First-order logic Predicate logic Symbol Substitution Constructible universe Interpretation
30	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem

UPDATE